-- Recursive Function
DEF rec(val:nat):nat == IF
                            eq(val, 0)
                        THEN
                            1
                        ELSE
                           add(1, rec(sub(val, 1)))
                        FI

DEF MAIN:nat == rec(17)

